A case study on the business benefits of automated process discovery