qué es el proceso de minería en la fabricación de cemento