What is vlc media player meant to do