what equipment is used in mines