Towards Personalized and Human-in-the-Loop Document Summarization