Model Enumeration in Propositional Circumscription via Unsatisfiable Core Analysis