Effects of isotopic disorder on the Raman spectra of crystals: Theory and ab initio calculations for diamond and germanium