what are some underground mining equipment tools