What was the 2010 population of the Hawaiian city in which former President Barack Obama spent his Christmas vacations from 2008 to 2016?