Extending a Business Process Modeling Tool With Process Configuration Facilities: The Provop Demonstrator