what is vertical mill in cement of mining