Discovery and Analysis of Activity Pattern Co-occurrences in Business Process Models