US airline ticket taxes: High . . . but not that high