Electrochemical Impedance Spectroscopy of Solid-State Battery Electrodes: A Generalized Framework for Heterogeneous Charge Transport | Synapse