Semi-Markov Models for Brownian Dynamics Permeation in Biological Ion Channels