ball mill mills used in ore dressing