DOT: US airline workforce down 1.7% in August