Bitmain has appointed a new CEO