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 é o número total de trabalhadores da construção civil no Condado de Miami-Dade?
 ###Tabelas: 
CREATE TABLE Workers (WorkerID int, WorkerName varchar(255), County varchar(255), IsConstructionWorker bit);
SELECT COUNT(WorkerID) as TotalWorkers FROM Workers WHERE County = 'Miami-Dade' AND IsConstructionWorker = 1;