Measurements of nitrogen oxides at the tropopause: Attribution to convection and correlation with lightning