Google to build AI campus in South Korea, presidential office says