An additional extension to MPEG-2 is named MPEG-2. As MPEG-3 had a different meaning, what was the name given to the extension of MPEG-2