mixing grinding and hardening of cement