Time-Varying Formation Control and Collision Avoidance for Unmanned Aerial Vehicles Based on Position Estimation