我国建筑工人数量