what is used in iron mining