A survey on educational process mining | Synapse