Aramco buys South Korean oil firm; market value of IPO touches US$2 trilion