Mapping the patient’s journey in healthcare through process mining