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: Qual é a pontuação média de saúde mental dos alunos no distrito escolar "Springfield"?
 ###Tabelas: 
CREATE TABLE students (student_id INT, district VARCHAR(20), mental_health_score INT); INSERT INTO students (student_id, district, mental_health_score) VALUES (1, 'Springfield', 75), (2, 'Springfield', 80), (3, 'Shelbyville', 85);
SELECT AVG(mental_health_score) FROM students WHERE district = 'Springfield';