mineria proceso de molienda en la produccion de cemento