Market share of miles flown by passengers on US domestic flights