建筑工程一切险必须买吗