Stochastic ion channels for the GENESIS neural simulator