proof of the formula for critical speed of ball mill