Number of policyholders transitioned to each private insurance company during 2023 under the Citizens Depopulation Program