有什么软件可以批量裁剪视频？并且不改变视频清晰度，大小等其他参数。