Exploring the application of process mining to support self-regulated learning: An initial analysis with video lectures