Planning with Abstract Markov Decision Processes