Structural Congruence for Bialgebraic Semantics