Transgenic mice with a diverse human T cell antigen receptor repertoire