Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms