The evolution of process mining