Virtual optimization of nasal insulin therapy predicts immunization frequency to be crucial for diabetes protection