小红书视频用什么软件压缩?视频压缩技巧有哪些?