technical maintenance of mining equipment