Distributed formation control of a fleet of underwater gliders