A mixed integer programming model for optimal ATC tower height and location: a case study for Singapore Changi Airport's third runway extension. Issue 1 (2nd January 2020)