code/game/area/areas/mining.dm