Mathematical and Computational Models for Congestion Charging