Stone crab season officially begins