Model-Based Design of Graphite-Compatible Electrolytes in Potassium-Ion Batteries | Synapse