A collaborative approach to formulate a public strategy: The experience of the Brazilian Charter for Smart Cities.