Why high gas prices don’t collect more gas tax