MMSum: A Dataset for Multimodal Summarization and Thumbnail Generation of Videos