Distributed observer-based finite-time control of moving target tracking for UAV formation.