Hainan Airlines to buy US$4.2 billlion of planes, issue bonds