Gravar-mail: Stochastic theory of ion movement in channels with single-ion occupancy. Application to sodium permeation of gramicidin channels.