Does the personnel requirement for upgrading a District reflect overall faction number? Or do I need the minimum within the district to upgrade? Do I lose personnel when I upgrade, similar to wealtb?