working principle of ball mill in mineral industry