Mathematicians know how to solve traffic jams — we just need policymakers to listen