手机录像视频压缩成哪个文件