details of different types of mills used in cement industries