Integer Example milp qsopt_ex LP mip rational