Queueing Networks — Exact Computational Algorithms: A United Theory Based on Decomposition and Aggregation