Existential risk from artificial general intelligence