Discounted deterministic Markov decision processes and discounted all-pairs shortest paths