Ford and Microsoft Using Quantum Computing to Alleviate Traffic Congestion