Dry reforming of methane in a nanosecond repetitively pulsed discharge: chemical kinetics modeling