Role of Lightning NOx in Ozone Formation: A Review