Modeling and Reasoning with Decision-Theoretic Goals