How a smaller government real-estate footprint under Trump could boost cities