Butanol fermentation