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 empresa mineradora possui a maior produtividade de mão de obra na extração de carvão?
 ###Tabelas: 
CREATE TABLE companies (company VARCHAR(50), location VARCHAR(50), material VARCHAR(50), productivity FLOAT); INSERT INTO companies (company, location, material, productivity) VALUES ('ABC Corp', 'USA', 'Coal', 1.2), ('XYZ Inc', 'China', 'Coal', 1.5), ('DEF Mining', 'Australia', 'Coal', 1.3);
SELECT company, MAX(productivity) as highest_productivity FROM companies WHERE material = 'Coal' GROUP BY company ORDER BY highest_productivity DESC LIMIT 1;