“Alex believes Workday's business is not threatened by AI because its per-employee pricing is not directly tied to producing an outcome that can be automated away.”