Pathway Analysis and Optimization in Metabolic Engineering