Business Process Workarounds: What Can and Cannot Be Detected by Process Mining · Study