Text this: Multi-Objective Model Checking of Markov Decision Processes