Title: A Primer on Process Mining