How many people were in the city that is the seat of the county North Port, Florida is in as of 2013?