tippy MGI:98757 heritable phenotypic marker http://identifiers.org/mgd/MGI:98757 Gene tip syntenic O