mining theory of operation of ball mill