ethylene glycol as grinding aid in cement