Explainable Legal Case Matching via Graph Optimal Transport | Synapse