房屋建筑工程竣工验收备案时应提交的文件包括(　　)。