Model-Guided Systems Metabolic Engineering of Clostridium thermocellum