深圳证券交易所于（　）正式营业。