what are mining techniques used to mine iron ore