what is a iron ore mine