Gravar-mail: A Review of Dynamic Modeling Approaches and Their Application in Computational Strain Optimization for Metabolic Engineering