Modularity Aspects of Disjunctive Stable Models