怎么对视频进行压缩四种大家都在用的视频压缩方法介绍