如何压缩视频文件：怎么样压缩视频文件到最小