mixed integer quadratic programming