HDMI Data Rates for 4K HDR Formats