2020中国有多少建筑工人