Constrained non-linear optimization
