20170710 business.india-business: NSE halts trading after technical glitch