Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable