Text this: Mathematical and Computational Models for Congestion Charging