The Study of Mathematical Modeling and Computational Formation Flight Simulation of UAVs