South Korea allocates $517B for new semiconductor plant