Gibraltar International Airport, IATA: GIB