OKX files with SEC to bring tokenized-stock trading to the US