Traffic demand management and managed lanes