《中华人民共和国建筑法》正式施行的时间是( )。