Describir: Marathon: An Open Source Software Library for the Analysis of Markov-Chain Monte Carlo Algorithms