A Spatial Branch-and-Bound Framework for the Global Optimization of Kinetic Models of Metabolic Networks