Lee J., Leyffer S. Mixed Integer Nonlinear Programming 2011