Mixed integer nonlinear programming - Lee, Jon .; Leyffer, Sven. (Springer,)