The infrared spectrum of cyclotetraoxygen, O4: A theoretical investigation employing the single and double excitation coupled cluster method