Saddle point preconditioners for weak-constraint 4D-Var (Electronic transactions on numerical analysis)