Interactive Editing for Text Summarization