Mining Concepts for a COVID Interface Terminology for Annotation of EHRs