From Local Patterns to Global Models: Towards Domain Driven Educational Process Mining