Alabama’s commercial shrimp season officially underway after short delay