In silico modeling and in vivo efficacy of cancer preventive vaccinations