Code Smell Prioritization with Business Process Mining and Static Code Analysis: A Case Study