Joseph Miller comments on List of concrete hypotheticals for AI takeover?