The MPEG-1 standard does not include a precise specification for an MP3 encoder, but does provide example psychoacoustic models, rate loop, and the like in the non-normative part of the original standard. It is easy for a prospective user of an encoder to research the best choice because of what factor?