Stable models and circumscription