mining of iron ore what tools do they use