¿Cómo pudo Waymo no programar sus vehículos para saber qué hacer cuando un semáforo no funciona?