San Jose replaces Detroit as 10th-largest U.S. city