Amazon Web Services to invest at least $5 billion in South Korea by 2031, presidential office says