Mixed Integer Nonlinear Programming Methods