Improving Hospital Process Management through Process Mining: A Case Study on COVID-19 Clinical Pathways | Synapse