The bait shrimp industry of the Gulf of Mexico