Which standard does not include a specification for an MP3 encoder