A bi-level programming model for the optimal lane reservation problem · Study