a solver for sparse nonlinear optimization