Diffusion Mechanism of the Sodium-Ion Solid Electrolyte Na3PS4 and Potential Improvements of Halogen Doping