An introduction to Markov processes