Gravar-mail: Model-Based Design of Growth-Attenuated Viruses