When was the first software MP3 encoder released?