Improvement of isopropanol production by metabolically engineered Escherichia coli using gas stripping.