Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Atualize o nível de autonomia de um modelo de veículo autônomo na tabela av_models.
 ###Tabelas: 
CREATE TABLE av_models (model_name VARCHAR(255), autonomy_level INT);
WITH updated_level AS (UPDATE av_models SET autonomy_level = 4 WHERE model_name = 'AutoLux S') SELECT * FROM updated_level;