other names for the vertical mill