The “vein” of the shrimp: a little-known culinary detail