Design of a Formation Control System to Assist Human Operators in Flying a Swarm of Robotic Blimps