“the art of extracting metals from their ores, and adapting them to various purposes of manufacture: fuel, fire-clays, copper, zinc, brass, etc.”