Designing Antiperovskite Solid State Electrolytes For Potassium Batteries