mining ore ball mills theories and principles