Optimal approximation of Kalman filtering with temporally local 4DVAR in operational weather forecasting