History of existential risk