Theoretical Foundations for Abstraction-Based Probabilistic Planning