An Overview of Operational Semantics in Membrane Computing