SEC and Binance file joint stipulation seeking dismissal in the agency's ongoing litigation against the exchange