PRODUCT-FORM SYNTHESIS OF QUEUEING NETWORKS.