Towards a labeling method for Education Process Mining and a case study on higher education | Synapse