Численность города петрозаводска