Південна Корея S.Korea flags record 2027 budget of over $530 billion as AI chip boom lifts revenues Reuters