Analysis of Patient Pathways with Contextual Process Mining