Introduction to finite Markov chains