IR spectra of carbon-vacancy clusters in the topochemical transformation of silicon into silicon carbide