Why does the Denver International Airport have white tents as its roof?