Study on bi-level programming model of highway traffic network based on the sustainable development theory | IET Conference Publication | IEEE Xplore