What are the characteristics of finite Markov decision processes?