I heard that Indian Institute of Technology (IIT), Delhi would set up its extension campus at the upcoming Rajiv Gandhi Education City (RGEC) at Sonipat. Is it true? If yes, please tell me what would be the cost of construction for the extension campus of IIT-Delhi?