属于终结执行的情形有