AGI crimes? The role of criminal law in mitigating existential risks posed by artificial general intelligence