VLC player demos real-time AI subtitling for videos