ball mill grinding theory crushers used in cement plants