Designing Network Traffic Managers With Throughput, Fairness, And Worst-Case Performance Guarantees