mining machine ore ball mill versus gyratory ball mill