Indira Gandhi International Airport, situated to the southwest of Delhi, is the main gateway for the city's domestic and international civilian air traffic. How much money did Terminal 3 of Indira Gandhi International Airport cost to construct?