Global tropical reef fish richness could decline by around half if corals are lost