Constraint satisfaction problems and global cardinality constraints