The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (Logical Methods in Computer Science, 2020)