mining equipment and their use