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 funcionários em empresas de mineração com operações na Austrália?
 ###Tabelas: 
CREATE TABLE MiningCompanies (Company VARCHAR(50), Employees INT); INSERT INTO MiningCompanies (Company, Employees) VALUES ('UVW Pty', 250), ('XYZ Ltd', 300); CREATE TABLE AustralianMines (Company VARCHAR(50), Location VARCHAR(10)); INSERT INTO AustralianMines (Company, Location) VALUES ('TUV Industries', 'Australia'), ('VWX Enterprises', 'Australia');
SELECT SUM(Employees) FROM MiningCompanies WHERE Company IN (SELECT Company FROM AustralianMines)