Vertical profiles of lightning-produced NO 2 enhancements in the upper troposphere observed by OSIRIS