Strong Circumscription Specifies Stable Semantics of Normal Logic Programs