European heat waves double in length since 1880