Modeling a Reversed β-oxidation Cycle Into the Genome Scale Model of Zymomonas mobilis