Progression Semantics for Disjunctive Logic Programs