A mixed integer programming model for National Ambient Air Quality Standards (NAAQS) attainment strategy analysis. (May 2017)