Efficiency-Thoroughness Trade-Off Characteristics of Air Traffic Controllers During Tower Operations. (December 2020)