what are technologies used to mine iron