Using Discriminative Rule Mining to Discover Declarative Process Models with Non-atomic Activities