types of mills used in ore production