A quantitative investigation of divacancy production enhancement by interstitial oxygen in electron-irradiated silicon