FTX, Alameda Ordered to Pay $12.7B to Creditors by U.S. Judge