Robot Cars Would Almost Triple US Highway Capacity