Stochastic modeling and simulation of ion transport through channels