Какой из перечисленных городов является наиболее крупным по численности населения?

• Петрозаводск
• Липецк
• Казань
• Ставрополь