Generating high-quality thumbnails from videos