Examining change in students' self-regulated learning patterns after a formative assessment using process mining techniques