From zero to hero: A process mining tutorial