短视频剪辑要用到什么软件？剪辑技巧包括哪些？