All assets of the Arena Football League were put up for auction. What was the purchase price for the Arena Football League's assets?