Formation control of high-altitude balloons experiencing real wind currents by discrete-time distributed extremum seeking control.