Finite-time distributed event-triggered formation control for quadrotor UAVs with experimentation