Gravar-mail: Enhancing Healthcare Process Model Discovery Through Duplicate Task Identification