technologies used to mine iron