tools used in iron mining