Computer-aided design of PVR mutants with enhanced binding affinity to TIGIT