The Length-Lex Representation for Constraint Programming over Sets