Do you know of a video format that supports progressive decoding?