Bisimulation Congruences in Calculi for the Modelling of Membranes