Twitter changes tack in battle against internet trolls