materials used by iron mining