US airlines' fleet size