Verifying Existence and Composition of Workflow Activity Patterns in Real Process Models