What is the difference between vlc and windows media player