Electrochemical Impedance Spectroscopy for Ion Sensors with Interdigitated Electrodes: Capacitance Calculations, Equivalent Circuit Models and Design Optimizations | Synapse