Constraint-based sequence mining using constraint programming