types of mining equipment and their purpose