Congestion Pricing and Queue Theory