Task Allocation via Multi-Agent Coalition Formation: Taxonomy, Algorithms and Complexity