Optimal effort allocation in stratified, large area trawl surveys, with application to shrimp surveys in the Barents Sea