Have navigation apps that use real time traffic data - like Waze - improved congestion on more traveled roadways by taking cars off those streets?