全国有多少建筑工人