Construction boom tops US$2.4 trillion in Gulf projects