如何将手机里的视频压缩成文件