Convex Relaxations For Mixed-Integer Nonlinear Programs