What is the name of the 2013 English-language science fiction adventure film directed by a South Korean who also co-wrote a 2017 action-adventure film with Bong and Jon Ronson which featured child actress Ahn Seo-hyun?