equipment used for ore mining