hard rock mining hand tools related documents