OMI tropospheric NO&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt; profiles from cloud slicing: constraints on surface emissions, convective transport and lightning NO&amp;lt;sub&amp;gt;x&amp;lt;/sub&amp;gt;