Twitter cuts 9 percent of workforce as revenue growth slows