Workday lays off 1,750 employees, citing demand for AI