Designing Predictive Mathematical Models for the Metabolic Pathways Associated with Polyhydroxybutyrate Synthesis in Escherichia coli