what additivies do is ussed in mills for cement