Bitmain files for listing at the SEC