the process of mining iron