Markov Chains: From Theory to Implementation and Experimentation