Infrared optical properties of cerium dioxide