how do you mine iron