Enhancing sodium ionic conductivity in tetragonal-Na3PS4 by halogen doping: a first principles investigation.