Role of coral reefs in global ocean production