NSE to allow trading in US-listed stocks via NSE-IFSC platfo