High-resolution measurements on the 4 ← 0, 5 ← 0 infrared absorption bands of deuterium iodide