Gulf grouper recreational season officially opens