code/modules/mob/living/basic/lavaland/mining.dm