Reverse-pressure sterilization can make shrimp less allergenic, study finds