What was the population of Sichuan in 1832?