what does mining mill in cement industry