introduction of ball mills