Sharks are “functionally extinct” from many of the world’s reefs, new global survey finds