A Preferential Tableaux Calculus for Circumscriptive ALCO