建筑工人需要用到的工具和材料是什么