what is used for mining iron