A more sophisticated MP3 encoder can produce variable bitrate audio. What do encoders use when the goal is to achieve a fixed level of quality