In Pinal County, Arizona, when there's a capacity of over 5 metric tons, and the rank is under 14, what's the mine called?
CREATE TABLE "leading_copper_producing_mines" (
  "rank" real,
  "mine" text,
  "county_and_state" text,
  "operator" text,
  "source_of_copper" text,
  "capacity_thousands_of_metric_tons" real
);
SELECT "mine" FROM "leading_copper_producing_mines" WHERE "rank"<14 AND "capacity_thousands_of_metric_tons">5 AND "county_and_state"='pinal county, arizona';