The electrophysiology of potassium channels.