Bayesian inference of kinetic schemes for ion channels by Kalman filtering