derivation of the critical speed formula of a ball mill