A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming