Global finite-time attitude consensus of leader-following spacecraft systems based on distributed observers