Speeding Up Planning in Markov Decision Processes via Automatically Constructed Abstractions