Lightning NOx Production in the Tropics as Determined Using OMI NO2 Retrievals and WWLLN Stroke Data