Computational modeling and simulation of ligand-gated ion channels