home > > what equipment is used in mines