Theoretical basis for stabilizing messenger RNA through secondary structure design