Decomposition of the NVALUE constraint