Hidden Markov models: definition and properties