Mathematical modeling identifies LAG3 and HAVCR2 as biomarkers of T cell exhaustion in melanoma