Towards Predictive Metabolic Engineering: Kinetic Modeling And Experimental Analysis Of A Heterologous Mevalonate Pathway In E. Coli