Mathematical and computational models for congestion charging (Springer, 2006)