Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming