What software is available for nonlinear optimization?