Mathematical and computational models in tumor immunology