introduction and functioning of ball mills