names of mining equipments and their uses