mining of mineral deposits iron ore mining