Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications