Combination of convex theories: Modularity, deduction completeness, and explanation