What is the average rank of the city of el paso, which has a population greater than 672,538?
CREATE TABLE "largest_cities_and_metropolitan_areas" (
  "rank" real,
  "city" text,
  "state" text,
  "population" real,
  "metro_population_of_4_aspects" real
);
SELECT AVG("rank") FROM "largest_cities_and_metropolitan_areas" WHERE "city"='el paso' AND "population">'672,538';