Conviviality for Digital Cities: A Normative Multi-Agent Systems Approach