INS and type 1 diabetes mellitus: An HLA-Transgenic Mouse Model of Type 1 Diabetes That Incorporates the Reduced but Not Abolished Thymic Insulin Expression Seen in Patients