China Railway Construction IPO raises $5.4B