User-model based personalized summarization