Path-based formulations of a bilevel toll setting problem · Study