竣工验收后，备案时需设计单位提供的的文件有（）。