How is the quality when you use vlc media player to trim a video