First Principles Computational Design Of Solid Ionic Conductors Through Ion Substitution