Sources of HOx and production of ozone in the upper troposphere over the United States