Describir: Innovative informatics methods for process mining in health care.