mill used in ore production