执行案件终结执行的法律规定有哪些