Generation and characterization of ABab.I transgenic mice: a novel tool for the isolation of human T cell receptors selected on a distinct human HLA class I haplotype for adoptive T cell therapy of cancer