repair and maintenance of ball mill