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