the theories of ball mills