Kaydı eposta ile gönder: Model-Driven Redox Pathway Manipulation for Improved Isobutanol Production in Bacillus subtilis Complemented with Experimental Validation and Metabolic Profiling Analysis