VariantValidator: Accurate validation, mapping, and formatting of sequence variation descriptions | Synapse