Airborne quantification of upper tropospheric NOx production from lightning in deep convective storms over the United States Great Plains