Mixed Integer Nonlinear Optimization