The making of smart cities: Are Songdo, Masdar, Amsterdam, San Francisco and Brisbane the best we could build?