code/game/objects/items/tools/mining_tools.dm