what type of mine is used to mine iron ore