Numerical studies of nitric oxide formation in nanosecond-pulsed discharge-stabilized flames of premixed methane/air