Using Process Mining algorithms to identify patterns of student behavior | Synapse