Autodesk says it’s cutting 9% of its workforce, and shares rise