ETCが普及してどれぐらいの渋滞解消効果があったんだろうか