Road Work: Using Mobile Data to Alleviate Traffic Congestion