Stone crab harvest season officially opens