Comparison of Reactive Distillation and Dual Extraction Processes for the Separation of Acetone, Butanol, and Ethanol from Fermentation Broth