Twitter’s European boss says it has done more to combat online trolls