Mean reef fish body size decreases in warmer waters