Moving From COVID-19 Mathematical Models to Vaccine Design: Theory, Practice, and Experience