Interoperability between phenotypes in research and healthcare terminologies—Investigating partial mappings between HPO and SNOMED CT | Synapse