工业建筑工人使用凿子铲子，铲建筑用砖和砂浆的墙