Efficient Succinic Acid Production from Glucose through Overexpression of Pyruvate Carboxylase in an Escherichia coli Alcohol Dehydrogenase and Lactate Dehydrogenase Mutant | Synapse