Product formation during discharge: a combined modelling and experimental study for Li–O$$_2$$ cathodes in LiTFSI/DMSO and LiTFSI/TEGDME electrolytes