Αποστολή με SMS: Mathematical and Computational Models for Congestion Charging