Mechanism Design for Team Formation