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