Evaluation approaches of fuel saving and carbon reduction benefits for arterial signal retiming.