South Korea sets aside $16B for AI megaprojects in 2027 budget