Process mining for healthcare: Characteristics and challenges