How does process mining differ from traditional process monitoring?