What was the population of Nico Jamin's Florida home city in 2012?