Olympics, smartphones push Twitter revenue up 30 percent in Brazil