Activity types, thematic domains, and stakeholder constellations: explaining civil society involvement in Amsterdam’s smart city | Synapse