The many faces of the smart city: Differing value propositions in the activity portfolios of nine cities