Distributed observer-based formation trajectory tracking method of leader-following multi-AUV system