An Operational Semantics for Android Activities