Deriving Bisimulation Congruences in the {{DPO}} Approach to Graph Rewriting with Borrowed Contexts