history of grinding aids for cement