Text this: Mathematical and computational models for congestion charging