A Commitment-based Infrastructure for Programming Socio-Technical Systems