tools and equipment used in iron ore mining