August 20 Update: The total global AEC market is actually $7.2 trillion and expected to grow to $12 trillion by 2020. Data source here - Global Construction 2020 - there is also a video.