what tools used for mining iron