vertical mill in mine industry