A review of rechargeable aprotic lithium–oxygen batteries based on theoretical and computational investigations