Optimization of an atmospheric carbon source for extremophile cyanobacteria