An ellipsoid algorithm for equality-constrained nonlinear programs