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