Efficient Bayesian estimation of Markov model transition matrices with given stationary distribution