Shortest paths in one-counter systems (Logical Methods in Computer Science, 2019)