Twitter to cut 9% of workforce