Mixed Integer Linear-Quadratic Programming