Constrained Submodular Optimization for Vaccine Design