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