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