Structured Operational Semantics and Bisimulation as a Congruence