Variational data assimilation with moist threshold processes using the NMC spectral model