How to convert video files to mp3 with vlc