definition of ball mill in mechanics