mining repair and maintenance of ball mills