Existence and Uniqueness for Electrode Models for Electric Current Computed Tomography | Synapse