Recent Progress in Sequence Optimization of mRNA Vaccine: Biological Mechanism, Quantitative Metrics, and Computational Model | Synapse