Cidade inteligente de Songdo: projeto está orçado em US$ 35 bilhões