Text this: Mice with a diverse human T cell receptor repertoire selected on multiple HLA class I molecules