The Computational Complexity of Probabilistic Planning