tools used for uranium mining