Process mining and fraud detection - a case study on the theoretical and practical value of using process mining for the detection of fraudulent behavior in the procurement process