How Much Should We Spend to Reduce A.I.’s Existential Risk?