selected publications academic article Algorithm 972: JMarkov: An integrated framework for Markov chain modeling 2017-1-1