According to the 2011 census, what was the population of the town in which John Wilkie was born?