What city near Space Coast has a population of 11,231 in the 2010 United States Census?