The acetone-butanol-ethanol fermentation: recent progress in technology.