Constraint Programming in Music