Decompositions of All Different, Global Cardinality and Related Constraints