Efficient Methods for Multi-Objective Decision-Theoretic Planning