Modelling and Solving Configuration Problems on Business Processes Using a Multi-Level Constraint Satisfaction Approach