Text this: Exploring Mathematical Problem-Solving through Process Mining