2023 was the hottest year on record – by a large margin