Semantics, Causality and Mobility in Membrane Computing