tools used for mining iron oretools used for uranium mining