fixed mixed_integer module of cvxpy, doing version control for it here