theory about ball mills