Is vlc media player better than windows media player