Modeling HOV lane choice behavior for microscopic simulation models and its application to evaluation of HOV lane operation strategies Jun-Seok Oh Western.