Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives