which is the default file extension for an audio file in windows media player