what is the mining process of iron