grinder mill used in cement production process