Combined congenic mapping and nuclease-based gene targeting for studying allele-specific effects of Tnfrsf9 within the Idd9.3 autoimmune diabetes locus