Molecular dynamics simulation of fluorite- and tysonite-type solid electrolytes