Gravar-mail: Thermodynamics of ion binding and occupancy in potassium channels