Concurrent Semantics for Concurrent Constraint Programming via Contextual Nets