Standards for digital high-definition television coding