Aviation fuel is significantly more expensive per gallon than diesel fuel. Why then is aviation fuel still used in Planes?