minería de roca dura para la fabricación de cemento