Equality-constrained nonlinear programming: KKT necessary optimality conditions; First order constraint qualifications;