A User Evaluation of Process Discovery Algorithms in a Software Engineering Company