Nude beach formally recognized in St. Lucie County