视频怎么压缩成文件,视频文件实质上就是一个系列画面,当我们观看视频