what is iron used for in mining