2023 was the hottest year on record—and even hotter than expected