mixed integer quadratic programming python