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: Liste os top 5 países com a maioria dos usuários que optaram por receber notificações push, juntamente com o número total de usuários em cada país.
 ###Tabelas: 
CREATE TABLE users (id INT, country VARCHAR(50), opted_in_push BOOLEAN);
SELECT country, SUM(CASE WHEN opted_in_push THEN 1 ELSE 0 END) as total_opted_in FROM users GROUP BY country ORDER BY total_opted_in DESC LIMIT 5;