A more sophisticated MP3 encoder can produce variable bitrate audio. Which type of decoder must support bitrate switching on a per-frame basis?