Managing Business Process Variability Through Process Mining and Semantic Reasoning: An Application in Healthcare