introduction of ball mill