South Korea proposes record $597 billion 2027 budget to supercharge AI investment