Constrained coalitional games: formal framework, properties, and complexity results.