An Introduction to Traffic Flow Theory (Springer Optimization and Its Applications)