What kind of audio can a sophisticated MP3 encoder produce?