Gravar-mail: Sequences and diversity of human T cell receptor beta chain variable region genes