The welfare gains from pricing road congestion using automatic vehicle identification and on-vehicle meters