The stability and reaction mechanism of a LiF/electrolyte interface: insight from density functional theory