Hmmm, no edit feature.
Reason I asked "what" you were mining "for", is out where I am in the wasteland "near" Diersville, there is all the iron that is needed. Gravel from the cinder blocks, "full" stone from the small plateaus of it, destroyed stone from digging along with the normal dirt and clay.
I have no use for lead or tungsten (recipe for that now if inclined), so I realize these are perhaps what you seek.