boca raton is part of florida