Constructing efficient bacterial cell factories to enable one-carbon utilization based on quantitative biology: A review.