Joint metering and conflict resolution in air traffic control