Text this: Process mining for healthcare: Characteristics and challenges.