ball mill in ore production