Analyzing and Modeling Capacity for Decentralized Air Traffic Control