石匠在建造墙壁时涂抹混凝土, 建筑