A diode laser study and modeling of NO and NO2 formation in a pulsed DC air discharge