On Optimal End-to-End QoS Budget Partitioning in Network Dimensioning∗