Converting carbon dioxide into gasoline, and ‘autofocal’ glasses with lenses that change shape on the fly