How the FBI tracked down the Twitter hackers