population in the 18th century