hard rock mining hand tools