High-occupancy vehicle lanes and tradable credits scheme for traffic congestion management : a bilevel programming approach - Zang, Guangzhi (Array, 2018)