Analysis and Simplex-type Algorithms for Countably Infinite Linear Programming Models of Markov Decision Processes.