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: Quais são os nomes e o número de alunos para os 5 principais distritos escolares com as maiores médias de pontuação de saúde mental, e qual é a média geral de pontuação de saúde mental em todos os distritos escolares?
 ###Tabelas: 
CREATE TABLE school_districts (district_id INT, district_name TEXT, average_mental_health_score DECIMAL(5,2)); CREATE TABLE students (student_id INT, district_id INT, mental_health_score INT);
SELECT d.district_name, COUNT(s.student_id) as num_students, AVG(s.mental_health_score) as avg_mental_health_score FROM students s JOIN school_districts d ON s.district_id = d.district_id GROUP BY d.district_id, d.district_name ORDER BY avg_mental_health_score DESC LIMIT 5; SELECT AVG(s.mental_health_score) as overall_average_mental_health_score FROM students s;