A Multi-Agent Negotiation Approach to Formation Flying Coordination for Civil Aviation