CARBOTRAF: A decision Support system for reducing pollutant emissions by adaptive traffic management