Ocean warming and the demography of declines in coral body size