建筑工人有多少