what is the average rank of the city of el paso, which has a population greater than 672,538?
none