mining mill in the cement industry