Markov chains and mixing times