How many people lived in Gustavia as of 2011