what is the former name of the airport in the netherlands city with the highest population ?
schiphol airport