Four platforms for intelligent cities: Linking virtual spaces and collaborative innovation