What is the capacity of the Pinto Valley mine in Gila county?
CREATE TABLE "leading_copper_producing_mines" (
  "rank" text,
  "mine" text,
  "county" text,
  "operator" text,
  "capacity_thousands_of_metric_tons" text
);
SELECT "capacity_thousands_of_metric_tons" FROM "leading_copper_producing_mines" WHERE "county"='gila' AND "mine"='pinto valley';