What video format is best for vlc