Theoretical description of the intensity of crystal-truncation-rod scattering modulated by a Bragg reflection