A Comprehensive Guide to Process Mining