Human exploitation shapes productivity–biomass relationships on coral reefs