Gravar-mail: Equivalence of two approaches for modeling ion permeation through a transmembrane channel with an internal binding site