Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently