On the Semantics and Verification of Normative Multi-Agent Systems