A Theory of Composition for Differential Obliviousness