An algorithmic framework for convex mixed integer nonlinear programs