technology used in cement industry in mining