Extracellular potassium in the mammalian central nervous system.