markov refinement