Should we tax jet fuel?