types of mill used in cements