Stochastic Modeling and Simulation of Ion Transport through Channels