Global warming probably made 2014 Europe’s hottest year ever recorded