Models and observations agree on fewer and milder midlatitude cold extremes