FTX says $415 million of crypto was hacked