Mathematical modeling of antigen discrimination by T cells