How Green Are Smart Cities, and How Smart Are Green Cities ...