Given the yield of useful content vs. rock in mining, I suspect the more limiting factor is space for all the mining, not space for disposal of the 0.1% metal etc yield for making industrial goods.