Closed Queuing Networks with Multiple-server Stations