Predictive modeling and design rules for solid electrolytes