The year 2023 now ranks as the warmest on record since 1880