Twitter is laying off 9 percent of employees