Nitric oxide production by lightning discharges