Surface studies of lithium–oxygen redox reactions over HOPG