Bitmain Bids for Public Listing on the Hong Kong Stock Exchange