San Francisco mayor pushes stricter rules on robotaxi operations after Waymo gridlock — Trace