Algorithms for Economically and Environmentally Efficient Terminal Area Transition Metering