types of mills used in cements