que es un molino de molienda en la industria cementera