Digital Video Broadcasting (DVB); Specification for the carriage of synchronized auxiliary data in DVB transport streams