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 produtos financeiros compatíveis com a Sharia oferecidos por instituições financeiras no Texas, juntamente com seus códigos de produto.
 ###Tabelas: 
CREATE TABLE products (id INT, name VARCHAR(50), type VARCHAR(20), product_code VARCHAR(10), state VARCHAR(2)); INSERT INTO products (id, name, type, product_code, state) VALUES (1, 'Savings Account', 'Shariah', 'SA101', 'Texas'); CREATE TABLE financial_institutions (id INT, name VARCHAR(50), state VARCHAR(2)); INSERT INTO financial_institutions (id, name, state) VALUES (1, 'Al Rayan Bank', 'Texas');
SELECT products.name, products.product_code FROM products INNER JOIN financial_institutions ON products.state = financial_institutions.state WHERE products.type = 'Shariah';