The Theory and Practice of Social Machines