Theory and Practice of Social Machines