Work stoppage had threatened to disrupt Korean economy and global artificial intelligence boom