Beyond Optimization: Four Hidden Gems of Process Mining