Global coral cover has fallen by half since 1950s, analysis finds