Objective stratification and sampling-effort allocation of ground-truthing in benthic-mapping surveys