Autodesk cuts about 250 jobs, joining flurry of tech layoffs