Optimization of isopropanol production by engineered cyanobacteria with a synthetic metabolic pathway.