types mining equipment and their uses