Electrolyte-controlled discharge product distribution of Na-O2 batteries: a combined computational and experimental study.