introduction and principle and application of ball mill