Mathematical modeling of prostate cancer immunotherapy