怎么将手机视频压缩成文件形式