Mixed Integer Linear Programming Nonlinear Constraint Examples