中国建筑行业有多少工人