Kalman filter updating numerical example