What was the population of the Ottoman empire at the beginning of the 17th century?