Robust control of horizontal formation dynamics for autonomous underwater vehicles.