Constraint Integer Programming: A New Approach to Integrate CP and MIP