the mining of taconite oct