Text this: Generation of Synthetic Business Process Traces using Constraint Programming