mathematically proving the formula of the critical speed of a ball mill