Mixed Integer Nonlinear Programming (The IMA Volumes in Mathematics and its Applications)