What Makes a Good and Useful Summary? Incorporating Users in Automatic Summarization Research