high dynamic-range (HDR) image file format