tools and equipment used in hard rock mining