Dynamic user optimal route choice problem on a signalized transportation network