Zynga lays off 18 percent of workforce, shifts focus to mobile