High pressure-high temperature synthesis of lithium-rich Li3O(Cl, Br) and Li3 − xCax/2OCl anti-perovskite halides