工程竣工的定义是什么?