Encoder / decoder overall delay is not defined, which means there is no official provision for gapless playback. What is there no official provision for