Approximately how many passengers used Indira Gandhi Airport from 2012-2013