European climate agency says this summer was Earth’s hottest on record