Describir: Finite Markov processes and their applications