A decentralized approach to formation flight routing of long-haul commercial flights