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 5 principais usuários que mais postaram às terças-feiras no banco de dados de redes sociais.
 ###Tabelas: 
CREATE TABLE user (user_id INT, username VARCHAR(20), posts INT, created_at DATE); INSERT INTO user (user_id, username, posts, created_at) VALUES (1, 'user1', 10, '2022-01-01'), (2, 'user2', 20, '2022-01-02'), (3, 'user3', 30, '2022-01-03'), (4, 'user4', 40, '2022-01-04'), (5, 'user5', 50, '2022-01-05'), (6, 'user6', 6, '2022-01-04'), (7, 'user7', 7, '2022-01-03'), (8, 'user8', 8, '2022-01-02'), (9, 'user9', 9, '2022-01-01'), (10, 'user10', 10, '2022-01-05');
SELECT user_id, username, SUM(posts) as total_posts FROM user WHERE DATEPART(dw, created_at) = 3 GROUP BY user_id, username ORDER BY total_posts DESC LIMIT 5;