coral springs is part of florida