An average bit rate is used when who choses an average value for the encoder to use?