执行案件终结执行的情形包括