Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming