A Game-Theoretic Approach to Normative Multi-agent Systems