Modeling and Verifying Probabilistic Social Commitments in Multi-Agent Systems