Eindhoven en Amsterdam formulen vier principes voor digitale stad