Differentiated congestion pricing of urban transportation networks with vehicle-tracking technologies ☆