Green grinding: environmental protection and costs savings through the use of grinding aids in the cement industry