mining of iron ore introduction