principle of operation of the ball mill