Portable Content Format : a standard for describing an interactive digital television service