A framework for optimal real-time emissions trading in large-scale vehicle fleets