Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming