On-the-Fly Computation of Bisimilarity Distances (Logical Methods in Computer Science, 2017)