theories of ball mills