An HLA-Transgenic Mouse Model of Type 1 Diabetes That Incorporates the Reduced but Not Abolished Thymic Insulin Expression Seen in Patients