A labelled semantics for Soft Concurrent Constraint Programming